Nuprl Definition : R-links
11,40
postcript
pdf
R-links(
A
)
== case
A
of
==
Rnone => []
==
Rplus(
left
,
right
)=>
rec1
,
rec2
.
rec1
@
rec2
==
Rinit(
loc
,
T
,
x
,
v
)=> []
==
Rframe(
loc
,
T
,
x
,
L
)=> []
==
Rsframe(
lnk
,
tag
,
L
)=> [
lnk
]
==
Reffect(
loc
,
ds
,
knd
,
T
,
x
,
f
)=> []
==
Rsends(
ds
,
knd
,
T
,
l
,
dt
,
g
)=> [
l
]
==
Rpre(
loc
,
ds
,
a
,
T
,
P
)=> []
==
Rkframe(
loc
,
k
,
L
)=> []
==
Rksframe(
loc
,
k
,
L
)=> []
==
Rrframe(
loc
,
x
,
L
)=> []
latex
clarification:
R-links(
A
)
== case
A
of
==
Rnone => []
==
Rplus(
left
,
right
)=>
rec1
,
rec2
.
rec1
@
rec2
==
Rinit(
loc
,
T
,
x
,
v
)=> []
==
Rframe(
loc
,
T
,
x
,
L
)=> []
==
Rsframe(
lnk
,
tag
,
L
)=> [
lnk
/ []]
==
Reffect(
loc
,
ds
,
knd
,
T
,
x
,
f
)=> []
==
Rsends(
ds
,
knd
,
T
,
l
,
dt
,
g
)=> [
l
/ []]
==
Rpre(
loc
,
ds
,
a
,
T
,
P
)=> []
==
Rkframe(
loc
,
k
,
L
)=> []
==
Rksframe(
loc
,
k
,
L
)=> []
==
Rrframe(
loc
,
x
,
L
)=> []
latex
Definitions
es
realizer
ind
,
as
@
bs
,
[
car
/
cdr
]
,
[]
FDL editor aliases
R-links
origin